Computer programming - PDFSEARCH.IO - Document Search Engine

Computer programming
Results: 45296

#	Item
431	Quotation and Re e tion in Nuprl and S heme Eli Barzilay (eli s. ornell.edu) Contents Add to Reading List Source URL: barzilay.org Language: English - Date: 2009-07-13 03:34:39 Software engineering Computer programming Programming language theory Functional languages Biomolecules Type theory Procedural programming languages Control flow Eval Heme String literal ML
432	Parallel Cost Analysis of Distributed Systems ? Elvira Albert1 , Jes´ us Correas1 , Einar Broch Johnsen2 , Guillermo Rom´an-D´ıez3 Add to Reading List Source URL: einarj.at.ifi.uio.no Language: English - Date: 2015-10-22 01:10:34 Parallel computing Computing Computer programming Distributed computing Software engineering
433	The Textual Communities project Peter Robinson Bateman Professor of English University of Saskatchewan Brent Nelson Add to Reading List Source URL: www.interedition.eu Language: English - Date: 2015-05-21 07:17:57 Computing Knowledge representation Software engineering Computer programming Workspace Information science OpenSocial Ontology
434	Republic of the Philippines PROVINCE OF ORIENTAL MINDORO BIDS AND AWARDS COMMITTEE Camilmil, Calapan City 5200, Oriental Mindoro Add to Reading List Source URL: www.ormindoro.gov.ph Language: English - Date: 2016-01-04 13:53:50 Software engineering Computing Computer programming Auctions Bidding PHP Surety bond
435	Rounding Guarantees for Message-Passing MAP Inference with Logical Dependencies I S Add to Reading List Source URL: stephenbach.net Language: English - Date: 2014-12-17 16:58:03 Computing Software engineering Computer programming Graphical models Probability theory Markov random field Local consistency Random field Scala
436	High-Performance and Scalable Designs of Programming Models for Exascale Systems Talk at HPCAC-Switzerland (Marby Dhabaleswar K. (DK) Panda The Ohio State University Add to Reading List Source URL: www.hpcadvisorycouncil.com Language: English - Date: 2016-04-06 01:18:07 Computing Parallel computing Message Passing Interface Partitioned global address space Multi-core processor Xeon Phi K computer SHMEM Manycore processor
437	CSE 584 Algorithms for Biosequence Comparison Spring Semester 2016 Homework 2 Assigned: Add to Reading List Source URL: classes.engineering.wustl.edu Language: English - Date: 2016-02-23 10:35:25 Computer programming Computing String computer science) Data types Arrays Theoretical computer science Suffix tree Suffix array BurrowsWheeler transform String searching algorithm String Algorithm
438	Task Description IOI 2000 Beijing China MEDIAN Add to Reading List Source URL: olympiads.win.tue.nl Language: English - Date: 2001-07-12 09:07:54 Software engineering Computer programming Computing Object-oriented programming languages Subroutines Data types Source code Programming languages C++ classes Const Pascal Parameter
439	A Proposal to Add Safe Integer Types to the Standard Library Technical Report Document number: P0228R0 Add to Reading List Source URL: www.rrsd.com Language: English - Date: 2016-02-14 13:38:22 Software engineering Computing C++ Computer programming Data types Type theory C C++11 Primitive data type Type safety Boolean data type Template
440	What Not to Do When Writing an Interpreter for Specialisation Neil D. Jones DIKU, University of Copenhagen e-mail: Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:36 Software engineering Computing Theoretical computer science Logic in computer science Models of computation Programming language semantics Formal methods Subroutines Denotational semantics Semantics Partial evaluation Interpreter

UPDATE